introduction to priority queue